1. <A> Framework for Priority Arguments
پدیدآورنده : / Manuel Lerman
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Proof theory,Priority (Philosophy),Logic, Symbolic and mathematical,منطق ریاضی
رده :
QA9
,.
54
.
F7
,
L47
2010
2. A framework for priority arguments
پدیدآورنده : Lerman, Manuel, 3491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory,، Priority )Philosophy(,، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
34
3. Degrees of Unsolvability :
پدیدآورنده : Manuel Lerman
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA9
.
63
M368
1983
4. Degrees of unsolvability : local and global theory
پدیدآورنده : Lerman, Manuel, 3491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Unsolvability )Mathematical logic(
رده :
QA
9
.
63
.
L47
1983
5. Logic year 1979-80, the University of Connecticut, U.S.A
پدیدآورنده : Edited by M. Lerman, J. H. Schmerl, and R. I. Soare
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
859
6. Logic year 1979-80, the University of Connecticut, USA
پدیدآورنده : edited by M. Lerman, J.H. Schmerl, and R.I. Soare
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
859
7. Logic year 1979-80 : the University of Connecticut, USA
پدیدآورنده : edited by M. Lerman, J. H. Schmerl, and R. I. Soare
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
859
